…nd (#302)

* fix: handle spaces and quotes in forge filenames w.r.t. run IDs

* windows-specific test scripting

* add to gitignore

* remote temp file

* fix for windows

Merging integer/set optimization into dev branch.

… etc. (#307)

See PR #307

…nces

* fix: join parsing, regression test, note on 2nd issue

* add: semantics test

* add: tests, no-op change to parser for readability

* fix: join parsing, regression test, note on 2nd issue

* add: semantics test

* add: tests, no-op change to parser for readability

* add: revisions to get core (strings, for the moment) to sterling

* fix: unsat but no core

* stop sending core in place of source

* Froglet Error Message Changes (#306)

* update: error messages

---------

Co-authored-by: shoujohnny <johnson_shou@brown.edu>

This commit is part of the effort to add Typed Racket annotations to more of Forge's core files.  However, the way that the AST was structured made using static types difficult: it wasn't always clear what the type of child nodes was, because node/expr/op contained the children field, and a relational expression might have children that are formulas, expressions, or integer expressions. Now these are broken down into different AST types.

Misc. code hardening, E2E suite in Playwright.